61. Applications of functional programming
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Functional programming )Computer science(,، Haskell )Computer program language(
رده :
QA
76
.
62
.
A67
1994
62. Applications of functional programming
پدیدآورنده : edited by Colin Runciman, David Wakeling
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه حکیم سبزواری (خراسان رضوی)
موضوع : ، Functional programming )Computer science(,، Haskell )Computer program language(
رده :
QA
76
.
62
.
A67
1995
63. Applications of the topological derivative method /
پدیدآورنده : Antonio André Novotny, [and 2 others].
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Topological dynamics.,Topological dynamics.
رده :
QA611
.
5
.
N68
2019
64. Applied Theory of Functional Differential Equations
پدیدآورنده : by V. Kolmanovskii, A. Myshkis.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Mathematics.,Mechanical engineering.,Systems theory.
65. Applied bioinformatics :
پدیدآورنده : by Paul M. Selzer, Richard J. Marhöfer, Oliver Koch.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Bioinformatics, Problems, exercises, etc.,Bioinformatics.,Bioinformatics.,Cheminformatics.,Computational biology.,Life sciences.
رده :
QH324
.
2
.
S4613
2018
66. Applied bioinformatics :
پدیدآورنده : Paul M. Selzer, Richard J. Marhöfer, Oliver Koch.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Bioinformatics, Problems, exercises, etc.,Bioinformatics.,Computational Biology.,Genetics.,Informatics.,Bioinformatics.
رده :
QH324
.
2
.
S4613
2018
67. Applied dynamic programming /
پدیدآورنده : by Richard E. Bellman and Stuart E. Dreyfus.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Dynamic programming.,Jeux, Théorie des.,Programmation (Mathématiques),COMPUTERS-- Programming-- General.,COMPUTERS-- Programming-- General.,Dynamic programming.,MATHEMATICS-- Applied.,MATHEMATICS-- Applied.,MATHEMATICS-- Probability & Statistics-- General.,MATHEMATICS-- Probability & Statistics-- General.,Mathématiques.,Mathématiques.,Optimierung,Optimierung,Programmation dynamique.,Programmation dynamique.
رده :
QA264
.
B353eb
68. Approaches and applications of inductive programming
پدیدآورنده : Ute Schmid, Emanuel Kitzelmann, Rinus Plasmeijer (eds.)
کتابخانه: كتابخانه مركزی و مركز اطلاع رسانی دانشگاه شاهد (تهران)
موضوع : Functional programming (Computer science), Congresses
رده :
QA
،
76
.
62
،.
A69
،
2010
69. Approaches and applications of inductive programming
پدیدآورنده : / Ute Schmid, Emanuel Kitzelmann, Rinus Plasmeijer (Eds.
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Functional programming (Computer science), Congresses
رده :
QA76
.
62
.
A25
2010
70. Automata, Languages and Programming :
پدیدآورنده : edited by Hermann A. Maurer.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Information theory.,Software engineering.,Theory of Computation.
71. Automata, Languages and Programming :
پدیدآورنده : edited by Josep Diaz.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer programming.,Computer science.,Computers.
72. Automata, languages and programming :
پدیدآورنده : J. Leach Albert, B. Monien, M. Rodríguez Artalejo (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Machine theory -- Congresses.,Machine theory.
رده :
QA267
.
J543
1991
73. Automata, languages, and programming :
پدیدآورنده : edited by Jan Paredaens.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer programming -- Congresses.,Machine theory -- Congresses.,Programming languages (Electronic computers) -- Congresses.
74. Automated Deduction - A Basis for Applications
پدیدآورنده : edited by Wolfgang Bibel, Peter H. Schmitt.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Algebra-- Data processing.,Artificial intelligence.,Logic, Symbolic and mathematical.,Logic.,Philosophy (General).,Software engineering.
75. Automated and algorithmic debugging :
پدیدآورنده : Peter A Fritzson
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer Science.,Debugging in computer science -- Congresses.,Engineering & Applied Sciences.
76. Automatic programming, numerical methods and functional analysis
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Automatic programming )Computer science(-- Addresses, essays, lectures,، Numerical analysis-- Addresses, essays, lectures,، Functional analysis-- Addresses, essays, lectures
رده :
QA
1
.
A413
no
.
96
77. Automatic programming, numerical methods and functional analysis
پدیدآورنده : edited by V. N. Faddeeva
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Addresses, essays, lectures ، Automatic programming )Computer science(,Addresses, essays, lectures ، Numerical analysis,Addresses, essays, lectures ، Functional analysis
رده :
QA
1
.
P736
Vol
.
96
78. Automatische Komplexitätsanalyse funktionaler Programme
پدیدآورنده : Wolf Zimmermann.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Functional programming (Computer science),System analysis.,Zeitkomplexität.
رده :
QA76
.
62
W654
1990
79. Avian Navigation :
پدیدآورنده : edited by Floriano Papi, Hans G. Wallraff.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Life sciences.,Zoology.
رده :
QL698
.
8
E358
1982
80. Bayesian Approach to Global Optimization :
پدیدآورنده : by Jonas Mockus.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer science.,Electronic data processing.,Information theory.
رده :
QA402
.
5
B956
1989